1. <A> Roadmap for Formal Property Verification

پدیدآورنده :

کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)

موضوع : Integrated circuits -- Verification,مدار‌های مجتمع -- راستی‌آزمایی

رده :
E-Book
,

2. Comprehensive Functional Verification the Complete Industry Cycle

پدیدآورنده :

کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)

موضوع : Integrated circuits -- Verification.,Computer engineering.,مدار‌های مجتمع -- راستی‌آزمایی ,مهندسی کامپیوتر

رده :
E-Book
,

3. Integrated Circuit Authentication

پدیدآورنده :

کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)

موضوع : Integrated circuits -- Verification.,Hardware Trojans (Computers),مدار‌های مجتمع -- راستی‌آزمایی

رده :
E-Book
,